<html>
<head><meta charset="utf-8"><title>should we consider I-unsound issues · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html">should we consider I-unsound issues</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="198354110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354110">(May 21 2020 at 17:56)</a>:</h4>
<p>I was wondering if we should consider <code>I-unsound</code> as a way to call for prioritization</p>



<a name="198354126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354126">(May 21 2020 at 17:56)</a>:</h4>
<p>more or less this <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3A%22I-unsound+%F0%9F%92%A5%22+label%3A%22T-compiler%22+-label%3A%22P-critical%22+-label%3A%22P-high%22+-label%3A%22P-medium%22+-label%3A%22P-low%22">https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3A%22I-unsound+%F0%9F%92%A5%22+label%3A%22T-compiler%22+-label%3A%22P-critical%22+-label%3A%22P-high%22+-label%3A%22P-medium%22+-label%3A%22P-low%22</a></p>



<a name="198354145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354145">(May 21 2020 at 17:56)</a>:</h4>
<p>there are 15 <code>I-unsound</code> issues for <code>T-compiler</code></p>



<a name="198354184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354184">(May 21 2020 at 17:57)</a>:</h4>
<p>wonder if we should prioritize them all and starting now, if we should automatically tag with <code>I-prioritize</code></p>



<a name="198354187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354187">(May 21 2020 at 17:57)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> thoughts?</p>



<a name="198354315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354315">(May 21 2020 at 17:58)</a>:</h4>
<p>I think we should. I unsound seems like something to watch closely</p>



<a name="198354465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354465">(May 21 2020 at 17:59)</a>:</h4>
<p>Do we want to include feature-gated unsoundness, i.e. with a <code>requires-nightly</code> label?</p>



<a name="198354867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198354867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198354867">(May 21 2020 at 18:02)</a>:</h4>
<p>Other than those, yes, I also think we should prioritize them all</p>



<a name="198355300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198355300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198355300">(May 21 2020 at 18:06)</a>:</h4>
<p>hm I would actually say that they do not <em>generally</em> need to be something we're checking in on</p>



<a name="198355352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198355352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198355352">(May 21 2020 at 18:06)</a>:</h4>
<p>a one time pass though makes sense perhaps</p>



<a name="198355385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198355385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198355385">(May 21 2020 at 18:06)</a>:</h4>
<p>maybe surfacing them in monthly reports or something, but not beyond that</p>



<a name="198355413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198355413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198355413">(May 21 2020 at 18:06)</a>:</h4>
<p>if we had 0 then a new one would be more important</p>



<a name="198355422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198355422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198355422">(May 21 2020 at 18:06)</a>:</h4>
<p>I think surfacing new ones is important in general</p>



<a name="198355456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198355456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198355456">(May 21 2020 at 18:06)</a>:</h4>
<p>but historical ones, well, if we've not solved them by now telling t-compiler in triage meetings seems unlikely to help</p>



<a name="198358100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198358100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198358100">(May 21 2020 at 18:29)</a>:</h4>
<p>yeah, I was looking mainly to add a search to triagebot</p>



<a name="198358175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198358175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198358175">(May 21 2020 at 18:30)</a>:</h4>
<p>maybe as <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> pointed out, we should skip <code>requires-nightly</code></p>



<a name="198358205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/should%20we%20consider%20I-unsound%20issues/near/198358205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/should.20we.20consider.20I-unsound.20issues.html#198358205">(May 21 2020 at 18:30)</a>:</h4>
<p>so this search <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3A%22I-unsound+%F0%9F%92%A5%22+label%3A%22T-compiler%22+-label%3A%22P-critical%22+-label%3A%22P-high%22+-label%3A%22P-medium%22+-label%3A%22P-low%22+-label%3A%22requires-nightly%22">https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3A%22I-unsound+%F0%9F%92%A5%22+label%3A%22T-compiler%22+-label%3A%22P-critical%22+-label%3A%22P-high%22+-label%3A%22P-medium%22+-label%3A%22P-low%22+-label%3A%22requires-nightly%22</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>